Computer Science and Engineering - PDFSEARCH.IO - Document Search Engine

Computer Science and Engineering
Results: 6228

#	Item
491	Management and Leadership Hank Levy Chair, Computer Science & Engineering University of Washington Add to Reading List Source URL: cra.org Language: English - Date: 2016-07-19 22:02:47 Business Economy Leadership Administration Management Organizational theory Politics
492	Prof. Brian L. Evans (a) Professional Preparation Rose-Hulman Institute of Technology Electrical Engineering & Computer Science BS 1987 Georgia Institute of Technology Electrical Engineering MS 1988 Add to Reading List Source URL: users.ece.utexas.edu Language: English - Date: 2015-04-21 01:06:08 Institute of Electrical and Electronics Engineers Piscataway New Jersey
493	Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYDistributed System Engineering: SpringQuiz I Solutions Add to Reading List Source URL: nil.csail.mit.edu Language: English - Date: 2015-01-05 06:37:34 Computing Network architecture Transmission Control Protocol Server Internet Relay Chat Network protocols Computer network security Internet protocols
494	Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-21 06:02:19 Theoretical computer science Software engineering Programming language theory Logic in computer science Proof assistants Formal methods Automated theorem proving Isabelle Satisfiability modulo theories ACL2 Curry Logic for Computable Functions
495	Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYFallQuiz I Add to Reading List Source URL: css.csail.mit.edu Language: English - Date: 2016-01-29 11:50:05 Software bugs Computer programming Software engineering Computing Buffer overflow Stack Arbitrary code execution Subroutine Stack buffer overflow
496	CURRICULUM VITAE NAME: Guang R. Gao OFFICE ADDRESS: Department of Electrical Engineering 140 Evans Hall Add to Reading List Source URL: www.capsl.udel.edu Language: English - Date: 2015-02-12 15:30:49 Computing Computer science Guang Gao International Parallel and Distributed Processing Symposium Parallel computing Association for Computing Machinery Computer architecture Software pipelining International Federation for Information Processing Dataflow architecture Krishna Palem Josh Fisher
497	COURSES IN ENGLISH AT THE FACULTY OF MATHEMATICS AND COMPUTER SCIENCE UNIVERSITY OF LODZ WINTER SEMESTER Add to Reading List Source URL: erasmus.math.uni.lodz.pl Language: English - Date: 2016-04-13 07:07:15 Engineering Academia Science and technology Algorithm Mathematical logic Theoretical computer science Computer science Programming language Artificial neural network Analysis Outline of computer science Shaikh College of Engineering and Technology
498	Surname identification and correction in a corpus of forename surname dataset Suresh Veluru, Yogachandran Rahulamathavan, and Muttukrishnan Rajarajan Information Security Group, School of Engineering and Mathematical Sci Add to Reading List Source URL: www.uncertaintyofidentity.com Language: English - Date: 2013-04-26 11:31:05 String computer science) Linguistics Formal languages Computing Dynamic programming Approximate string matching Pattern matching Suffix tree JaroWinkler distance String metric String Comparison of programming languages
499	A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi Add to Reading List Source URL: www.di.univaq.it Language: English - Date: 2011-02-08 09:50:34 Mathematical logic Software engineering Theoretical computer science Type theory Computability theory Logic in computer science Proof assistants Logic for Computable Functions HOL Lambda calculus Primitive recursive function Recursion
500	Characteristic Formulae for Session Types Julien Lange and Nobuko Yoshida Imperial College London Abstract. Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language i Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2016-08-22 17:55:56 Software engineering Computability theory Object-oriented programming Polymorphism Subtyping Type theory Theoretical computer science Characteristic function Lambda calculus Computing

UPDATE